CASC candidates need better preparation

The development of CASC

Researchers who make theoretical advances also need some way to demonstrate that an advance really does have general, overall positive consequences for system performance. For this it is necessary to evaluate the system on a set of problems that is sufficiently large and diverse to be somehow representative of the intended application area as a whole. It is only a small step from system evaluat...

The state of CASC

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems – the world championship for such systems. This paper captures the state of CASC after CASC-20, the tenth CASC, held in 2005. It provides a summarized history of CASC, details of the current design of the competition, observations and discussion of the effects of CASC...

Summary of the CASC project

Statistical Disclosure Control is a field in statistics that has attracted much attention in recent years. Decision-makers demand more and more detailed statistical information; and researchers have the capacity to perform complex statistical analysis on their powerful PCs and they desire detailed microdata. Therefore there is a growing pressure on the statistical offices to publish more and mo...

TYPHOID FEVER need for better Diagnostic Methods

The need for better AD animal models

Drug development for Alzheimer’s disease (AD) has proven to be particularly difficult. Only five symptomatic drugs have been approved for its treatment between 1993 and 2003. Despite great efforts on research and huge investments on drug development, no new treatments have been approved for AD since 2003. In particular, drug development success rate has been staggering low with many small molec...